积分第二中值定理的一个一般性结果

利用微积分的有关知识,研究积分第二中值定理＂中间点＂当积分区间长度趋于0时的渐近性,得到了两个结论,推广了已有的结果.     

一种基于时序分析的大型重载支承轴隐蔽部位疲劳裂纹诊断方法

大型重载支承轴隐蔽部位因发生不可观测的突发性疲劳断裂事故,严重影响生产的正常进行,给企业带来重大的经济损失.在分析支承轴振动特性的基础上,通过在机械结构外部便于检测部位提取反映结构疲劳裂纹状态的特征信号,编写相应的MAT-LAB程序构建时序模型,然后模拟支承轴实际工况,将裂纹产生、发展、断裂过程划分为5种状态,建立标准故障模式特征向量空间.运用模糊聚类分析方法,结合Euclide距离判别函数,找出与标准故障模式特征向量中隶属度最大的特征向量,从而有效诊断支承轴隐蔽部位疲劳裂纹状态的程度.最后通过实例验证了该方法的正确性和可行性.图2,参5.     

一类周期边值问题解的存在性与唯一性

考虑了一类非线性微分方程周期边值问题，用不动点定理给出了其解存在时参数e，α的取值范围；用压缩映像原理给出了该问题解唯一时参数e，α的取值范围．     

对称可微广义V-I型多目标规划的对偶性

在V-I，型和几个广义V-I，型不变凸性情形的基础上，研究了一类非光滑非凸多目标规划的对偶性，给出了若干个弱对偶、强对偶和逆对偶定理．     

Uhlhorn定理的一个推广

应用射影几何基本定理,证明了关于U h lhorn定理的一个推广.     

一类次线性Hamilton系统的次调和解

运用极小极大方法得到一类局部强制的次线性Hamilton系统的次调和解的存在性定理.     

广义凸集值向量优化问题的弱有效解

在序线性拓扑空间中定义了广义凸集值映射．引进了相对内部．应用凸集分离定理建立了一个广义凸集值映射的择一性定理．运用此定理获得了弱有效解意义下的集值向量优化问题的最优性条件．     

一类对称二阶Hamiltonian系统的偶同宿轨

用临界点理论中的山路引理，采用零边值问题解逼近的方法，证明了一类对称超二次二阶Hamiltonian系统非平凡偶同宿轨的存在性．     

具有多奇性的非线性热方程的定解问题

利用Kato类函数和Green胎紧函数的性质得到了具有多奇性的非线性热方程的初值问题和初边值问题．弱解的存在性．     

Modal extension rule

Modal logics are good candidates for a formal theory of agents. The efficiency of reasoning method in modal logics is very important, because it determines whether or not the reasoning method can be widely used in systems based on agent. In this paper, we modify the extension rule theorem proving method we presented before, and then apply it to P-logic that is translated from modal logic by functional transformation. At last, we give the proof of its soundness and completeness.